<div class="global">
  <div class="tab">
    <ul id="tablabel">
      <li id="{{consistent.name}}" *ngFor="let consistent of Consistents" (click)="change(consistent.name)">{{consistent.name}}
      </li>
      <li *ngFor="let smtres of smtreslist" id="{{smtres.name}}" (click)="change(smtres.name)">
        {{smtres.name}}
      </li>
      <li id = "consist"  (click)="change(this.consist.name)">
        consist_check_result
      </li>
    </ul>
  </div>
  <div class="display">
    <div id="errorList">
      <ul *ngFor="let consistent of Consistents" id="{{consistent.name}}-P" class="consistent" [class.hide]="consistent.name != stage">
        <li *ngFor="let safenl of consistent.safeNLList" [class.selected]="safenl == location" (click)="locate(safenl)">{{safenl}}</li>
      </ul>
    </div>
    <!-- <div *ngFor="let consistent of Consistents" id="{{consistent.name}}-P">
      <p *ngFor="let safenl of consistent.safenlList" [class.selected]="safenl == location" (click)="locate(safenl)">{{safenl}}</p>
    </div> -->
    <div id="smtRes">
      <span *ngFor="let smtres of smtreslist" id="{{smtres.name}}-P" class="consistent" [class.hide]="smtres.name != stage">
      <div>
        elapse: {{smtres.elapse}}
      </div>
      <p>{{smtres.res}}</p>
      </span>
    </div>

    <div *ngIf="this.consist != null" id="consistRes">
      <p id = {{this.consist.name}}-P  class="consistent" [class.hide]="this.consist.name != stage">
        <span *ngIf="this.consist.inconsisTypeName=='global_inconsistent' || this.consist.inconsisTypeName=='partial_inconsistent'">
          <div>
            elapse: {{this.consist.elapse}}
          </div>
          {{this.consist.inconsisTypeName}}:
          <div id="inconsistentList">
            <ul>
              <li *ngFor="let inconsissafenl of this.consist.inconsisSafeNL">{{inconsissafenl}}</li>
            </ul>
          </div>
        </span>

        <span *ngIf="this.consist.inconsisTypeName=='consistent'">
          <div>
            elapse: {{this.consist.elapse}}
          </div>
          {{this.consist.inconsisTypeName}}!
        </span>
      </p>
    </div>

    <!-- <p *ngIf="smtres">
      {{smtres}}
    </p> -->
    <p *ngIf="checkres">
      {{checkres}}
    </p>
  </div>
</div>